退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:单调偏序降阶:一种最优的符号偏序降阶技术
Vineet Kahlon; Chao Wang; Aarti Gupta;
机译:将基于序列化的多线程C程序验证与符号性部分顺序缩减相结合
机译:符号状态空间探索中的偏序约简
机译:使用ZBDD进行符号状态空间遍历的部分阶约简
机译:单调性偏序降阶:一种最优的符号性偏序降阶技术
机译:通过部分冷冻技术喷雾减少废水毒性。
机译:使用垂直疤痕上中蒂图案技术减少肿瘤形成以立即进行部分乳房重建
机译:基于规则的过渡系统的符号偏序降阶
机译:模型检查'Rebeca'中的对称性和偏序降阶技术
机译:单调部分阶约简的系统和方法
机译:通过符号动态偏序降阶的事件驱动应用分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。